The Easiest Way to Build a Type Checker
jimmyhmiller.comΒ·10hΒ·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
πŸŽ“ Capstone Project Completed! πŸš€
dev.toΒ·1dΒ·
Discuss: DEV
πŸ•΅οΈMetadata Mining
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.aiΒ·7hΒ·
Discuss: Hacker News
πŸ“„Text Chunking
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.orgΒ·2d
πŸ”—Combinatory Logic
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.comΒ·1d
πŸ“Concrete Syntax
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.orgΒ·1d
βš™οΈABNF Mining
Flag this post
Lang’s theorem β€” Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.comΒ·9h
Ξ»Lambda Encodings
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.netΒ·19hΒ·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
LLM APIs are a Synchronization Problem
lucumr.pocoo.orgΒ·1dΒ·
βš™οΈTLA+
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.comΒ·8hΒ·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
Olmo 3 is a fully open LLM
simonwillison.netΒ·5h
πŸŒ€Brotli Internals
Flag this post
Show HN: Use any LLM in Go with stable, minimal API
github.comΒ·1dΒ·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.comΒ·19hΒ·
Discuss: Substack
πŸ’»Programming languages
Flag this post
A New Bridge Links the Strange Math of Infinity to Computer Science
quantamagazine.orgΒ·1dΒ·
πŸ“Mathematical Art
Flag this post
Google's Nested Learning aims to stop LLMs from catastrophic forgetting
the-decoder.comΒ·10h
πŸ’»Local LLMs
Flag this post
CARE: Turning LLMs Into Causal Reasoning Expert
arxiv.orgΒ·2d
πŸ€–Grammar Induction
Flag this post
Yale Journal on Regulation: Navigating the Web of Agency Authority with AI
pacificlegal.orgΒ·7hΒ·
Discuss: Hacker News
βš–οΈConstraint CHR
Flag this post
Beyond the Hype: How to Use AI to Actually Increase Your Productivity as a Dev
docker.comΒ·1d
⚑Proof Automation
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.comΒ·23h
πŸ“šLempel-Ziv
Flag this post
How To Build a Graph-Based Recommendation Engine Using EDG and Neo4j
towardsdatascience.comΒ·1d
πŸ•ΈοΈNeo4j
Flag this post